21. Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, Feb.25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
22. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses
رده :
QA
267
.
C35
23. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
24. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
25. Computability, Complexity, and Languages
پدیدآورنده : \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
26. Computability, complexity, and languages
پدیدآورنده : Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
27. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
28. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
1983
29. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
30. Computation engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;
31. Concept data analysis: theory and applications
پدیدآورنده : Carpineto, Claudio
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics,، Machine learning,، Information retrieval
رده :
QA
76
.
9
.
M35
.
C37
2004
32. Concept data analysis: theory and applications
پدیدآورنده : Carpineto, Claudio.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Machine learning,، Information retrieval
رده :
QA
76
.
9
.
M35
C37
2004
33. Concept data analysis: theory and applications
پدیدآورنده : Carpineto, Claudio
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Mathematics ، Computer science,، Machine learning,، Information retrieval
رده :
QA
76
.
9
.
M35
2004
34. Discrete mathematical structures with applications to computer science
پدیدآورنده : J. P. Tremblay, R. Manohar
موضوع : Mathematics,Electronic data processing,Machine theory
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
35. Discrete mathematical structures with applications to computer science
پدیدآورنده : / J. P. Tremblay, R. Manohar
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Mathematics,Electronic data processing,Machine theory
رده :
QA39
.
2
.
T72
36. Discrete mathematical structures with applications to computer science
پدیدآورنده : Tremblay, Jean-Paul, 8391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- 1691-,، Electronic data processing,، Machine theory
رده :
QA
39
.
2
.
T72
1987
37. Discrete structures and automata theory
پدیدآورنده : Dube, Rakesh
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Machine theory
رده :
QA
76
.
9
.
M35D82
38. Discrtet mathematical structures with applications to computer science
پدیدآورنده : Tremblay, Jean-Paul
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : 1691- ، Mathematics,، Electronic data processing,، Machine theory
رده :
QA
39
.
2
.
T72
1987
39. Elementary Differential Geometry
پدیدآورنده : / Christian Bear
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Geometry, Differential -- Textbooks,هندسه دیفرانسیل -- کتاب های درسی
رده :
QA641
.
B3E4
2010
40. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013